Issue1500.agda:5,8-14
Duplicate definition of CoList
